English translation for "reactive system"
|
- 反应系统
Related Translations:
- Example Sentences:
| 1. | Bounded model checking has been recently introduced as an efficient verification method for reactive systems
Ctl的有界模型检测模型检测是一种强有力的系统验证技术。 | | 2. | As an important reactive systems , real - time systems has been used widely in safety - critical field , so it ' s safety and reliability must been guaranteed
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。 | | 3. | Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system
但是因为它又有别于一般的反应型系统，所以我们接着介绍了实时系统的特殊性，并且介绍了形式化方法面向实时系统的扩展。 | | 4. | This thesis presents a powerful methodology for specifying scenario - based requirements of reactive systems , in which behaviors are " played in " directly from the system ' s gui or some abstract version thereof , and can then be " played out "
用这个工具用户直接从系统的原型gui界面取“ playin ”场景，并且可以“ playout ”这些场景，从而获取并确认需求。 | | 5. | The test result has proved : based on ecdf model , e has got a high executing efficiency and a well real - time performance over event - driven operating systems . it is not only suit for high speed burst data flow processing , but also can be used in reactive system design
测试结果表明：与原有的基于dhdf模型的可视化语言相比， e语言不仅实现了并发运行机制，而且在事件驱动的操作系统上运行时具有更高的效率和更好的实时性能。 | | 6. | 21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
本文分别在语法和语义层次上对动作精化进行了定义，并证明了这两个层次的动作精化在前述两种等价关系下，关于一种基于完全偏序的指称语义是一致的。 | | 7. | In recent measuring method , protein electrophoresis is rapid , accurate , steady and economic , not affected by environment condition , we improve reactive system of our national tentative com protein gelatinous electrophoresis , and that which is more adapted to imaging process
在玉米种子纯度检测的方法中，蛋白质凝胶电泳法具有快速、准确、稳定、经济、不受环境条件影响等特点，因此，选取此方法作为种子纯度检测方法。对国家试行的玉米蛋白凝胶电泳法的反映体系进行了改进，使得到的图像更清晰。 |
- Similar Words：
- "reactive state" English translation, "reactive step motor" English translation, "reactive stupor" English translation, "reactive surface" English translation, "reactive suspension" English translation, "reactive systemic amyloidosis" English translation, "reactive termination" English translation, "reactive thrust" English translation, "reactive token" English translation, "reactive torque" English translation
|
|
|
